Michael Schulz

System Description : E 1 . 8 Stephan Schulz

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...

Hochschild Cohomology of the Liu–schulz Algebras

A description of the Hochschild cohomology algebra for the symmetric 8-dimensional algebras found by Liu and Schulz is given in terms of generators and relations. The dimensions of the cohomology groups are calculated. §

Article by O. Schulz et al. JEM 2009

The Rockefeller University Press $30.00 J. Exp. Med. Vol. 206 No. 13 3101-3114 www.jem.org/cgi/doi/10.1084/jem.20091925 3101 The intestinal mucosa contains large numbers of mononuclear cells, including macrophages and DCs, which together are believed to play a central role in regulating mucosal innate and adaptive immune responses in both the steadystate and inflammatory setting (Kelsall, 2008)...

Assessment report on Tanacetum parthenium (L.) Schulz Bip., herba

M. Volker SCHULZ-von der GATHEN Principal Investigator, Ruhr-Universität